Modelling Digital Logic in SDL

Brake System Design for Sports Cars using Digital Logic Method

Brake system performance significantly affects safety, handling and vehicle dynamics. Therefore, the objective of this paper is to discuss brake system characteristics and performance and component design parameters. We perform a detailed study of a specific brake system designed for Mercedes-AMG SLC-43, considering component design parameters and operational points, and finally conduct the veh...

Specifying and reasoning about normative systems in deontic logic programming

In this paper we propose the usage of a framework combining standard deontic logic (SDL) and non-monotonic logic programming – deontic logic programs (DLP) – to represent and reason about normative systems.

Modelling and Analysing the SDL Description of the ISDN-DSS1 Protocol

Applications of Fuzzy Program Graph in Symbolic Checking of Fuzzy Flip-Flops

All practical digital circuits are usually a mixture of combinational and sequential logic. Flip–flops are essential to sequential logic therefore fuzzy flip–flops are considered to be among the most essential topics of fuzzy digital circuit. The concept of fuzzy digital circuit is among the most interesting applications of fuzzy sets and logic due to the fact that if there has to be an ultimat...

Compositional M-net Semantics for the Veriication of Sdl-speciications

In this paper a new approach to the veriication of SDL-speciications is presented. The key idea of the method consists in associating a compositional Petri net semantics to SDL-speciications. A temporal logic is deened which allows the formulation of relevant properties of SDL-speciications. The model checking problem for SDL-speciications according to this logic is then reduced to the model ch...